Ham Sandwich is Equivalent to Borsuk-Ulam
نویسندگان
چکیده
The Borsuk-Ulam theorem is a fundamental result in algebraic topology, with applications to various areas of Mathematics. A classical application of the Borsuk-Ulam theorem is the Ham Sandwich theorem: The volumes of any n compact sets in R can always be simultaneously bisected by an (n− 1)-dimensional hyperplane. In this paper, we demonstrate the equivalence between the Borsuk-Ulam theorem and the Ham Sandwich theorem. The main technical result we show towards establishing the equivalence is the following: For every odd polynomial restricted to the hypersphere f : S → R, there exists a compact set A ⊆ Rn+1, such that for every x ∈ S we have f(x) = vol(A∩H+)−vol(A∩H−), where H is the oriented hyperplane containing the origin with ~x as the normal. A noteworthy aspect of the proof of the above result is the use of hyperspherical harmonics. Finally, using the above result we prove that there exist constants n0, ε0 > 0 such that for every n ≥ n0 and ε ≤ ε0/ √ 48n, any query algorithm to find an ε-bisecting (n − 1)-dimensional hyperplane of n compact sets in [−n4.51, n4.51]n, even with success probability 2−Ω(n), requires 2Ω(n) queries. 1998 ACM Subject Classification F.2.2 Computations on discrete structures, Geometrical problems and computations
منابع مشابه
Combinatorial and Algorithmic Applications of the Borsuk-Ulam Theorem
The Borsuk-Ulam theorem states that if f : S → R is a continuous mapping from the unit sphere in R into R, there is a point x ∈ S where f(x) = f(−x); i.e., some pair of antipodal points has the same image. The recent book of Matoušek [21] is devoted to explaining this theorem, its background, and some of its many consequences in algebraic topology, algebraic geometry, and combinatorics. Borsuk-...
متن کاملOn Generalized “ham Sandwich” Theorems
In this short note we utilize the Borsuk-Ulam Anitpodal Theorem to present a simple proof of the following generalization of the “Ham Sandwich Theorem”: Let A1, . . . , Am ⊆ R be subsets with finite Lebesgue measure. Then, for any sequence f0, . . . , fm of R-linearly independent polynomials in the polynomial ring R[X1, . . . , Xn] there are real numbers λ0, . . . , λm, not all zero, such that ...
متن کاملA Borsuk-Ulam Equivalent that Directly Implies Sperner's Lemma
We show that Fan’s 1952 lemma on labelled triangulations of the n-sphere with n + 1 labels is equivalent to the Borsuk–Ulam theorem. Moreover, unlike other Borsuk–Ulam equivalents, we show that this lemma directly implies Sperner’s Lemma, so this proof may be regarded as a combinatorial version of the fact that the Borsuk–Ulam theorem implies the Brouwer fixed-point theorem, or that the Lustern...
متن کاملBorsuk-Ulam Implies Brouwer: A Direct Construction
The Borsuk-Ulam theorem and the Brouwer fixed point theorem are well-known theorems of topology with a very similar flavor. Both are non-constructive existence results with somewhat surprising conclusions. Most topology textbooks that cover these theorems (e.g., [4], [5], [6]) do not mention the two are related—although, in fact, the Borsuk-Ulam theorem implies the Brouwer Fixed Point Theorem. ...
متن کاملDigital Borsuk-Ulam theorem
The aim of this paper is to compute a simplicial cohomology group of some specific digital images. Then we define ringand algebra structures of a digital cohomology with the cup product. Finally, we prove a special case of the Borsuk-Ulam theorem fordigital images.
متن کامل